Sponging   disallowed (Read-only view)

If a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2.

% meta-cartridges called:
Meta-cartridge [execution time]: